[INFO] fetching crate blvm-spec-lock 0.1.20...
[INFO] testing blvm-spec-lock-0.1.20 against master#cced03bfd61a304243a34504618ecec86c17063f for pr-154065-2
[INFO] extracting crate blvm-spec-lock 0.1.20 into /workspace/builds/worker-5-tc1/source
[INFO] removed /workspace/builds/worker-5-tc1/source/.cargo/config.toml
[INFO] started tweaking crates.io crate blvm-spec-lock 0.1.20
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate blvm-spec-lock 0.1.20
[INFO] tweaked toml for crates.io crate blvm-spec-lock 0.1.20 written to /workspace/builds/worker-5-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate blvm-spec-lock 0.1.20 on toolchain cced03bfd61a304243a34504618ecec86c17063f
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+cced03bfd61a304243a34504618ecec86c17063f" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate blvm-spec-lock 0.1.20 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+cced03bfd61a304243a34504618ecec86c17063f" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded toml v0.8.23
[INFO] [stderr]   Downloaded toml_write v0.1.2
[INFO] [stderr]   Downloaded memchr v2.8.1
[INFO] [stderr]   Downloaded z3 v0.12.1
[INFO] [stderr]   Downloaded z3-sys v0.8.1
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+cced03bfd61a304243a34504618ecec86c17063f" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] c920bc6e5e561ce768117ee7ccc07d30c9b23859362605d8f7fe52cb5862437f
[INFO] running `Command { std: "docker" "start" "-a" "c920bc6e5e561ce768117ee7ccc07d30c9b23859362605d8f7fe52cb5862437f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "c920bc6e5e561ce768117ee7ccc07d30c9b23859362605d8f7fe52cb5862437f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "c920bc6e5e561ce768117ee7ccc07d30c9b23859362605d8f7fe52cb5862437f", kill_on_drop: false }`
[INFO] [stdout] c920bc6e5e561ce768117ee7ccc07d30c9b23859362605d8f7fe52cb5862437f
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+cced03bfd61a304243a34504618ecec86c17063f" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] e87518b5d708857fd6c2bcbc332df2ff5e6a7db713eea314be63953a99edad6f
[INFO] running `Command { std: "docker" "start" "-a" "e87518b5d708857fd6c2bcbc332df2ff5e6a7db713eea314be63953a99edad6f", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.106
[INFO] [stderr]    Compiling memchr v2.8.1
[INFO] [stderr]    Compiling libc v0.2.186
[INFO] [stderr]    Compiling regex-syntax v0.8.10
[INFO] [stderr]    Compiling bindgen v0.66.1
[INFO] [stderr]    Compiling quote v1.0.45
[INFO] [stderr]    Compiling typenum v1.20.0
[INFO] [stderr]    Compiling bitflags v2.11.1
[INFO] [stderr]    Compiling anstyle-parse v1.0.0
[INFO] [stderr]    Compiling anstyle-query v1.1.5
[INFO] [stderr]    Compiling hashbrown v0.17.1
[INFO] [stderr]    Compiling anstyle v1.0.14
[INFO] [stderr]    Compiling colorchoice v1.0.5
[INFO] [stderr]    Compiling is_terminal_polyfill v1.70.2
[INFO] [stderr]    Compiling heck v0.5.0
[INFO] [stderr]    Compiling toml_write v0.1.2
[INFO] [stderr]    Compiling winnow v0.7.15
[INFO] [stderr]    Compiling clap_lex v1.1.0
[INFO] [stderr]    Compiling strsim v0.11.1
[INFO] [stderr]    Compiling log v0.4.30
[INFO] [stderr]    Compiling anstream v1.0.0
[INFO] [stderr]    Compiling clap_builder v4.6.0
[INFO] [stderr]    Compiling generic-array v0.14.7
[INFO] [stderr]    Compiling aho-corasick v1.1.4
[INFO] [stderr]    Compiling nom v7.1.3
[INFO] [stderr]    Compiling serde_json v1.0.150
[INFO] [stderr]    Compiling indexmap v2.14.0
[INFO] [stderr]    Compiling syn v2.0.117
[INFO] [stderr]    Compiling block-buffer v0.10.4
[INFO] [stderr]    Compiling crypto-common v0.1.7
[INFO] [stderr]    Compiling digest v0.10.7
[INFO] [stderr]    Compiling clang-sys v1.8.1
[INFO] [stderr]    Compiling sha2 v0.10.9
[INFO] [stderr]    Compiling regex-automata v0.4.14
[INFO] [stderr]    Compiling cexpr v0.6.0
[INFO] [stderr]    Compiling regex v1.12.3
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling thiserror-impl v1.0.69
[INFO] [stderr]    Compiling clap_derive v4.6.1
[INFO] [stderr]    Compiling thiserror v1.0.69
[INFO] [stderr]    Compiling clap v4.6.1
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling toml_datetime v0.6.11
[INFO] [stderr]    Compiling serde_spanned v0.6.9
[INFO] [stderr]    Compiling toml_edit v0.22.27
[INFO] [stderr]    Compiling z3-sys v0.8.1
[INFO] [stderr]    Compiling toml v0.8.23
[INFO] [stderr]    Compiling z3 v0.12.1
[INFO] [stderr]    Compiling blvm-spec-lock v0.1.20 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 40.30s
[INFO] running `Command { std: "docker" "inspect" "e87518b5d708857fd6c2bcbc332df2ff5e6a7db713eea314be63953a99edad6f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "e87518b5d708857fd6c2bcbc332df2ff5e6a7db713eea314be63953a99edad6f", kill_on_drop: false }`
[INFO] [stdout] e87518b5d708857fd6c2bcbc332df2ff5e6a7db713eea314be63953a99edad6f
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+cced03bfd61a304243a34504618ecec86c17063f" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 2bfd2b6ae69402a08b63cd6637cd59e73be5c57111bed9ed8761b03c72da4146
[INFO] running `Command { std: "docker" "start" "-a" "2bfd2b6ae69402a08b63cd6637cd59e73be5c57111bed9ed8761b03c72da4146", kill_on_drop: false }`
[INFO] [stderr]    Compiling bitflags v2.11.1
[INFO] [stderr]    Compiling clang-sys v1.8.1
[INFO] [stderr]    Compiling getrandom v0.4.2
[INFO] [stderr]    Compiling rustix v1.1.4
[INFO] [stderr]    Compiling linux-raw-sys v0.12.1
[INFO] [stderr]    Compiling fastrand v2.4.1
[INFO] [stderr]    Compiling console v0.16.3
[INFO] [stderr]    Compiling similar v2.7.0
[INFO] [stderr]    Compiling bindgen v0.66.1
[INFO] [stderr]    Compiling tempfile v3.27.0
[INFO] [stderr]    Compiling insta v1.47.2
[INFO] [stderr]    Compiling z3-sys v0.8.1
[INFO] [stderr]    Compiling z3 v0.12.1
[INFO] [stderr]    Compiling blvm-spec-lock v0.1.20 (/opt/rustwide/workdir)
[INFO] [stdout] warning: function `classify_noise` is never used
[INFO] [stdout]   --> tests/../src/parser/condition.rs:11:4
[INFO] [stdout]    |
[INFO] [stdout] 11 | fn classify_noise(cond: &str) -> Option<&'static str> {
[INFO] [stdout]    |    ^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `is_result_equality` is never used
[INFO] [stdout]   --> tests/../src/parser/condition.rs:40:8
[INFO] [stdout]    |
[INFO] [stdout] 40 | pub fn is_result_equality(cond: &str) -> bool {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `ENUM_MAPPINGS` is never used
[INFO] [stdout]   --> tests/../src/parser/condition.rs:46:7
[INFO] [stdout]    |
[INFO] [stdout] 46 | const ENUM_MAPPINGS: &[(&str, i64)] = &[
[INFO] [stdout]    |       ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `parse_enum_membership` is never used
[INFO] [stdout]   --> tests/../src/parser/condition.rs:58:4
[INFO] [stdout]    |
[INFO] [stdout] 58 | fn parse_enum_membership(core: &str) -> Option<String> {
[INFO] [stdout]    |    ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `extract_parseable_condition` is never used
[INFO] [stdout]   --> tests/../src/parser/condition.rs:93:8
[INFO] [stdout]    |
[INFO] [stdout] 93 | pub fn extract_parseable_condition(condition: &str) -> Option<String> {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Contract` is never constructed
[INFO] [stdout]  --> tests/../src/parser/contracts.rs:9:12
[INFO] [stdout]   |
[INFO] [stdout] 9 | pub struct Contract {
[INFO] [stdout]   |            ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `ContractType` is never used
[INFO] [stdout]   --> tests/../src/parser/contracts.rs:20:10
[INFO] [stdout]    |
[INFO] [stdout] 20 | pub enum ContractType {
[INFO] [stdout]    |          ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `extract_contracts` is never used
[INFO] [stdout]   --> tests/../src/parser/contracts.rs:28:8
[INFO] [stdout]    |
[INFO] [stdout] 28 | pub fn extract_contracts(func: &ItemFn) -> Vec<Contract> {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `parse_contract_attribute` is never used
[INFO] [stdout]   --> tests/../src/parser/contracts.rs:41:4
[INFO] [stdout]    |
[INFO] [stdout] 41 | fn parse_contract_attribute(attr: &Attribute) -> Option<Contract> {
[INFO] [stdout]    |    ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `extract_comment` is never used
[INFO] [stdout]   --> tests/../src/parser/contracts.rs:79:4
[INFO] [stdout]    |
[INFO] [stdout] 79 | fn extract_comment(_attr: &Attribute) -> Option<String> {
[INFO] [stdout]    |    ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `tokens_to_rust_expr` is never used
[INFO] [stdout]    --> tests/../src/parser/lexer.rs:286:8
[INFO] [stdout]     |
[INFO] [stdout] 286 | pub fn tokens_to_rust_expr(tokens: &[Token]) -> String {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `spec_ident_to_rust` is never used
[INFO] [stdout]    --> tests/../src/parser/lexer.rs:313:4
[INFO] [stdout]     |
[INFO] [stdout] 313 | fn spec_ident_to_rust(s: &str) -> String {
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `section`, `content`, and `description` are never read
[INFO] [stdout]   --> tests/../src/parser/orange_paper.rs:73:9
[INFO] [stdout]    |
[INFO] [stdout] 69 | pub struct FunctionSpec {
[INFO] [stdout]    |            ------------ fields in this struct
[INFO] [stdout] ...
[INFO] [stdout] 73 |     pub section: String,
[INFO] [stdout]    |         ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 83 |     pub content: String,
[INFO] [stdout]    |         ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 89 |     pub description: Option<String>,
[INFO] [stdout]    |         ^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `FunctionSpec` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `Requires` is never constructed
[INFO] [stdout]    --> tests/../src/parser/orange_paper.rs:106:5
[INFO] [stdout]     |
[INFO] [stdout] 105 | pub enum PropertyType {
[INFO] [stdout]     |          ------------ variant in this enum
[INFO] [stdout] 106 |     Requires,  // Precondition
[INFO] [stdout]     |     ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `PropertyType` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `proof_reference` is never read
[INFO] [stdout]    --> tests/../src/parser/orange_paper.rs:121:9
[INFO] [stdout]     |
[INFO] [stdout] 113 | pub struct Theorem {
[INFO] [stdout]     |            ------- field in this struct
[INFO] [stdout] ...
[INFO] [stdout] 121 |     pub proof_reference: Option<String>,
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `Theorem` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `comment` is never read
[INFO] [stdout]    --> tests/../src/parser/orange_paper.rs:132:9
[INFO] [stdout]     |
[INFO] [stdout] 126 | pub struct Contract {
[INFO] [stdout]     |            -------- field in this struct
[INFO] [stdout] ...
[INFO] [stdout] 132 |     pub comment: Option<String>,
[INFO] [stdout]     |         ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `Contract` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variants `Property` and `EdgeCase` are never constructed
[INFO] [stdout]    --> tests/../src/parser/orange_paper.rs:140:5
[INFO] [stdout]     |
[INFO] [stdout] 137 | pub enum ContractType {
[INFO] [stdout]     |          ------------ variants in this enum
[INFO] [stdout] ...
[INFO] [stdout] 140 |     Property,
[INFO] [stdout]     |     ^^^^^^^^
[INFO] [stdout] 141 |     EdgeCase,
[INFO] [stdout]     |     ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `ContractType` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `section_id` is never read
[INFO] [stdout]    --> tests/../src/parser/orange_paper.rs:205:9
[INFO] [stdout]     |
[INFO] [stdout] 201 | pub struct StandaloneProperty {
[INFO] [stdout]     |            ------------------ field in this struct
[INFO] [stdout] ...
[INFO] [stdout] 205 |     pub section_id: String,
[INFO] [stdout]     |         ^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `StandaloneProperty` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `Ordering` is never constructed
[INFO] [stdout]    --> tests/../src/parser/orange_paper.rs:223:5
[INFO] [stdout]     |
[INFO] [stdout] 220 | pub enum StandalonePropertyType {
[INFO] [stdout]     |          ---------------------- variant in this enum
[INFO] [stdout] ...
[INFO] [stdout] 223 |     Ordering,
[INFO] [stdout]     |     ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `StandalonePropertyType` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `theorems` is never read
[INFO] [stdout]    --> tests/../src/parser/orange_paper.rs:237:9
[INFO] [stdout]     |
[INFO] [stdout] 229 | pub struct SpecSection {
[INFO] [stdout]     |            ----------- field in this struct
[INFO] [stdout] ...
[INFO] [stdout] 237 |     pub theorems: Vec<Theorem>,
[INFO] [stdout]     |         ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `SpecSection` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `section` is never read
[INFO] [stdout]    --> tests/../src/parser/orange_paper.rs:252:9
[INFO] [stdout]     |
[INFO] [stdout] 248 | pub struct ExtractedConstant {
[INFO] [stdout]     |            ----------------- field in this struct
[INFO] [stdout] ...
[INFO] [stdout] 252 |     pub section: String,
[INFO] [stdout]     |         ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `ExtractedConstant` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: multiple associated items are never used
[INFO] [stdout]     --> tests/../src/parser/orange_paper.rs:346:12
[INFO] [stdout]      |
[INFO] [stdout]  263 | impl SpecParser {
[INFO] [stdout]      | --------------- associated items in this implementation
[INFO] [stdout] ...
[INFO] [stdout]  346 |     pub fn constants_stable_id_map(&self) -> Result<HashMap<String, ExtractedConstant>, String> {
[INFO] [stdout]      |            ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 1436 |     pub fn find_function(&self, section: &str, name: Option<&str>) -> Option<&FunctionSpec> {
[INFO] [stdout]      |            ^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 1464 |     pub fn parse_signature(sig: &str) -> Option<(Vec<String>, String)> {
[INFO] [stdout]      |            ^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 1479 |     pub fn find_function_anywhere(&self, func_name: &str) -> Option<(&FunctionSpec, &str)> {
[INFO] [stdout]      |            ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 1494 |     pub fn find_theorem_by_function_name(&self, func_name: &str) -> Option<(&Theorem, &str, &str)> {
[INFO] [stdout]      |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 1526 |     pub fn find_subsection(&self, granular_id: &str) -> Option<(&SpecSection, String)> {
[INFO] [stdout]      |            ^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 1549 |     pub fn get_section_theorems(&self, section_id: &str) -> Vec<&Theorem> {
[INFO] [stdout]      |            ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 1557 |     pub fn extract_constants(&self) -> Vec<&ExtractedConstant> {
[INFO] [stdout]      |            ^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 1571 |     pub fn get_section_constants(&self, section_id: &str) -> Vec<&ExtractedConstant> {
[INFO] [stdout]      |            ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 1579 |     pub fn get_all_standalone_properties(&self) -> Vec<&StandaloneProperty> {
[INFO] [stdout]      |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 1588 |     pub fn extract_functions_with_formulas(&self) -> Vec<&FunctionSpec> {
[INFO] [stdout]      |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 1603 |     pub fn get_function(&self, name: &str) -> Option<&FunctionSpec> {
[INFO] [stdout]      |            ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 30.86s
[INFO] running `Command { std: "docker" "inspect" "2bfd2b6ae69402a08b63cd6637cd59e73be5c57111bed9ed8761b03c72da4146", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "2bfd2b6ae69402a08b63cd6637cd59e73be5c57111bed9ed8761b03c72da4146", kill_on_drop: false }`
[INFO] [stdout] 2bfd2b6ae69402a08b63cd6637cd59e73be5c57111bed9ed8761b03c72da4146
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+cced03bfd61a304243a34504618ecec86c17063f" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 5d20cdabd916559bcb9628d6352d315fb722e7fb62dd71cd8fb447a1b95408fa
[INFO] running `Command { std: "docker" "start" "-a" "5d20cdabd916559bcb9628d6352d315fb722e7fb62dd71cd8fb447a1b95408fa", kill_on_drop: false }`
[INFO] [stderr] warning: function `classify_noise` is never used
[INFO] [stderr]   --> tests/../src/parser/condition.rs:11:4
[INFO] [stderr]    |
[INFO] [stderr] 11 | fn classify_noise(cond: &str) -> Option<&'static str> {
[INFO] [stderr]    |    ^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: function `is_result_equality` is never used
[INFO] [stderr]   --> tests/../src/parser/condition.rs:40:8
[INFO] [stderr]    |
[INFO] [stderr] 40 | pub fn is_result_equality(cond: &str) -> bool {
[INFO] [stderr]    |        ^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: constant `ENUM_MAPPINGS` is never used
[INFO] [stderr]   --> tests/../src/parser/condition.rs:46:7
[INFO] [stderr]    |
[INFO] [stderr] 46 | const ENUM_MAPPINGS: &[(&str, i64)] = &[
[INFO] [stderr]    |       ^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function `parse_enum_membership` is never used
[INFO] [stderr]   --> tests/../src/parser/condition.rs:58:4
[INFO] [stderr]    |
[INFO] [stderr] 58 | fn parse_enum_membership(core: &str) -> Option<String> {
[INFO] [stderr]    |    ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function `extract_parseable_condition` is never used
[INFO] [stderr]   --> tests/../src/parser/condition.rs:93:8
[INFO] [stderr]    |
[INFO] [stderr] 93 | pub fn extract_parseable_condition(condition: &str) -> Option<String> {
[INFO] [stderr]    |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: struct `Contract` is never constructed
[INFO] [stderr]  --> tests/../src/parser/contracts.rs:9:12
[INFO] [stderr]   |
[INFO] [stderr] 9 | pub struct Contract {
[INFO] [stderr]   |            ^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: enum `ContractType` is never used
[INFO] [stderr]   --> tests/../src/parser/contracts.rs:20:10
[INFO] [stderr]    |
[INFO] [stderr] 20 | pub enum ContractType {
[INFO] [stderr]    |          ^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function `extract_contracts` is never used
[INFO] [stderr]   --> tests/../src/parser/contracts.rs:28:8
[INFO] [stderr]    |
[INFO] [stderr] 28 | pub fn extract_contracts(func: &ItemFn) -> Vec<Contract> {
[INFO] [stderr]    |        ^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function `parse_contract_attribute` is never used
[INFO] [stderr]   --> tests/../src/parser/contracts.rs:41:4
[INFO] [stderr]    |
[INFO] [stderr] 41 | fn parse_contract_attribute(attr: &Attribute) -> Option<Contract> {
[INFO] [stderr]    |    ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function `extract_comment` is never used
[INFO] [stderr]   --> tests/../src/parser/contracts.rs:79:4
[INFO] [stderr]    |
[INFO] [stderr] 79 | fn extract_comment(_attr: &Attribute) -> Option<String> {
[INFO] [stderr]    |    ^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function `tokens_to_rust_expr` is never used
[INFO] [stderr]    --> tests/../src/parser/lexer.rs:286:8
[INFO] [stderr]     |
[INFO] [stderr] 286 | pub fn tokens_to_rust_expr(tokens: &[Token]) -> String {
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function `spec_ident_to_rust` is never used
[INFO] [stderr]    --> tests/../src/parser/lexer.rs:313:4
[INFO] [stderr]     |
[INFO] [stderr] 313 | fn spec_ident_to_rust(s: &str) -> String {
[INFO] [stderr]     |    ^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: fields `section`, `content`, and `description` are never read
[INFO] [stderr]   --> tests/../src/parser/orange_paper.rs:73:9
[INFO] [stderr]    |
[INFO] [stderr] 69 | pub struct FunctionSpec {
[INFO] [stderr]    |            ------------ fields in this struct
[INFO] [stderr] ...
[INFO] [stderr] 73 |     pub section: String,
[INFO] [stderr]    |         ^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 83 |     pub content: String,
[INFO] [stderr]    |         ^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 89 |     pub description: Option<String>,
[INFO] [stderr]    |         ^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `FunctionSpec` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stderr] 
[INFO] [stderr] warning: variant `Requires` is never constructed
[INFO] [stderr]    --> tests/../src/parser/orange_paper.rs:106:5
[INFO] [stderr]     |
[INFO] [stderr] 105 | pub enum PropertyType {
[INFO] [stderr]     |          ------------ variant in this enum
[INFO] [stderr] 106 |     Requires,  // Precondition
[INFO] [stderr]     |     ^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: `PropertyType` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stderr] 
[INFO] [stderr] warning: field `proof_reference` is never read
[INFO] [stderr]    --> tests/../src/parser/orange_paper.rs:121:9
[INFO] [stderr]     |
[INFO] [stderr] 113 | pub struct Theorem {
[INFO] [stderr]     |            ------- field in this struct
[INFO] [stderr] ...
[INFO] [stderr] 121 |     pub proof_reference: Option<String>,
[INFO] [stderr]     |         ^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: `Theorem` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stderr] 
[INFO] [stderr] warning: field `comment` is never read
[INFO] [stderr]    --> tests/../src/parser/orange_paper.rs:132:9
[INFO] [stderr]     |
[INFO] [stderr] 126 | pub struct Contract {
[INFO] [stderr]     |            -------- field in this struct
[INFO] [stderr] ...
[INFO] [stderr] 132 |     pub comment: Option<String>,
[INFO] [stderr]     |         ^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: `Contract` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stderr] 
[INFO] [stderr] warning: variants `Property` and `EdgeCase` are never constructed
[INFO] [stderr]    --> tests/../src/parser/orange_paper.rs:140:5
[INFO] [stderr]     |
[INFO] [stderr] 137 | pub enum ContractType {
[INFO] [stderr]     |          ------------ variants in this enum
[INFO] [stderr] ...
[INFO] [stderr] 140 |     Property,
[INFO] [stderr]     |     ^^^^^^^^
[INFO] [stderr] 141 |     EdgeCase,
[INFO] [stderr]     |     ^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: `ContractType` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stderr] 
[INFO] [stderr] warning: field `section_id` is never read
[INFO] [stderr]    --> tests/../src/parser/orange_paper.rs:205:9
[INFO] [stderr]     |
[INFO] [stderr] 201 | pub struct StandaloneProperty {
[INFO] [stderr]     |            ------------------ field in this struct
[INFO] [stderr] ...
[INFO] [stderr] 205 |     pub section_id: String,
[INFO] [stderr]     |         ^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: `StandaloneProperty` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stderr] 
[INFO] [stderr] warning: variant `Ordering` is never constructed
[INFO] [stderr]    --> tests/../src/parser/orange_paper.rs:223:5
[INFO] [stderr]     |
[INFO] [stderr] 220 | pub enum StandalonePropertyType {
[INFO] [stderr]     |          ---------------------- variant in this enum
[INFO] [stderr] ...
[INFO] [stderr] 223 |     Ordering,
[INFO] [stderr]     |     ^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: `StandalonePropertyType` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stderr] 
[INFO] [stderr] warning: field `theorems` is never read
[INFO] [stderr]    --> tests/../src/parser/orange_paper.rs:237:9
[INFO] [stderr]     |
[INFO] [stderr] 229 | pub struct SpecSection {
[INFO] [stderr]     |            ----------- field in this struct
[INFO] [stderr] ...
[INFO] [stderr] 237 |     pub theorems: Vec<Theorem>,
[INFO] [stderr]     |         ^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: `SpecSection` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stderr] 
[INFO] [stderr] warning: field `section` is never read
[INFO] [stderr]    --> tests/../src/parser/orange_paper.rs:252:9
[INFO] [stderr]     |
[INFO] [stderr] 248 | pub struct ExtractedConstant {
[INFO] [stderr]     |            ----------------- field in this struct
[INFO] [stderr] ...
[INFO] [stderr] 252 |     pub section: String,
[INFO] [stderr]     |         ^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: `ExtractedConstant` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stderr] 
[INFO] [stderr] warning: multiple associated items are never used
[INFO] [stderr]     --> tests/../src/parser/orange_paper.rs:346:12
[INFO] [stderr]      |
[INFO] [stderr]  263 | impl SpecParser {
[INFO] [stderr]      | --------------- associated items in this implementation
[INFO] [stderr] ...
[INFO] [stderr]  346 |     pub fn constants_stable_id_map(&self) -> Result<HashMap<String, ExtractedConstant>, String> {
[INFO] [stderr]      |            ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 1436 |     pub fn find_function(&self, section: &str, name: Option<&str>) -> Option<&FunctionSpec> {
[INFO] [stderr]      |            ^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 1464 |     pub fn parse_signature(sig: &str) -> Option<(Vec<String>, String)> {
[INFO] [stderr]      |            ^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 1479 |     pub fn find_function_anywhere(&self, func_name: &str) -> Option<(&FunctionSpec, &str)> {
[INFO] [stderr]      |            ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 1494 |     pub fn find_theorem_by_function_name(&self, func_name: &str) -> Option<(&Theorem, &str, &str)> {
[INFO] [stderr]      |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 1526 |     pub fn find_subsection(&self, granular_id: &str) -> Option<(&SpecSection, String)> {
[INFO] [stderr]      |            ^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 1549 |     pub fn get_section_theorems(&self, section_id: &str) -> Vec<&Theorem> {
[INFO] [stderr]      |            ^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 1557 |     pub fn extract_constants(&self) -> Vec<&ExtractedConstant> {
[INFO] [stderr]      |            ^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 1571 |     pub fn get_section_constants(&self, section_id: &str) -> Vec<&ExtractedConstant> {
[INFO] [stderr]      |            ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 1579 |     pub fn get_all_standalone_properties(&self) -> Vec<&StandaloneProperty> {
[INFO] [stderr]      |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 1588 |     pub fn extract_functions_with_formulas(&self) -> Vec<&FunctionSpec> {
[INFO] [stderr]      |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 1603 |     pub fn get_function(&self, name: &str) -> Option<&FunctionSpec> {
[INFO] [stderr]      |            ^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: `blvm-spec-lock` (test "golden_spec") generated 22 warnings
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.49s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/blvm_spec_lock-dceaf97f5d59d092)
[INFO] [stdout] 
[INFO] [stdout] running 22 tests
[INFO] [stdout] test parser::lexer::tests::test_lex_unary_negative_number ... ok
[INFO] [stdout] test parser::lexer::tests::test_lex_implies ... ok
[INFO] [stdout] test parser::lexer::tests::test_lex_simple ... ok
[INFO] [stdout] test parser::lexer::tests::test_lex_cdot_mathrm_multiplier ... ok
[INFO] [stdout] test parser::orange_paper::formula_extraction_tests::duplicate_formula_across_sections_is_error ... ok
[INFO] [stdout] test parser::orange_paper::formula_extraction_tests::section_subsumption_for_formula_locks_matches_verify_enrich ... ok
[INFO] [stdout] test parser::orange_paper::depends_on_regex_tests::parse_depends_on_ids_accepts_bold_with_inner_backticks ... ok
[INFO] [stdout] test translator::static_checker::tests::test_non_negative ... ok
[INFO] [stdout] test translator::static_checker::tests::test_constant_equality ... ok
[INFO] [stdout] test parser::orange_paper::formula_extraction_tests::duplicate_formula_in_same_section_is_error ... ok
[INFO] [stdout] test parser::orange_paper::formula_extraction_tests::formula_depends_on_parses_bold_f_or_c_ids ... ok
[INFO] [stdout] test translator::z3_verifier::formula_sat_smoke_tests::x_lt_x_is_unsat_contradiction ... ok
[INFO] [stdout] test parser::orange_paper::formula_extraction_tests::merge_reports_duplicate_formula_id ... ok
[INFO] [stdout] test parser::orange_paper::formula_extraction_tests::unresolved_constant_dependencies_lists_missing_c_refs ... ok
[INFO] [stdout] test parser::orange_paper::formula_extraction_tests::unresolved_formula_dependencies_lists_missing_f_refs ... ok
[INFO] [stdout] test parser::orange_paper::formula_extraction_tests::v1_formula_block_populates_registry ... ok
[INFO] [stdout] test parser::orange_paper::formula_extraction_tests::spec_lock_formulas_env_zero_skips_formula_registry ... ok
[INFO] [stdout] test parser::orange_paper::formula_extraction_tests::unresolved_constant_dependencies_resolved_when_section_4_defines_constant ... ok
[INFO] [stdout] test parser::orange_paper::formula_extraction_tests::formula_heading_not_parsed_as_function_spec ... ok
[INFO] [stdout] test parser::orange_paper::formula_extraction_tests::formula_without_display_math_is_error ... ok
[INFO] [stdout] test translator::z3_verifier::formula_sat_smoke_tests::result_eq_result_is_sat ... ok
[INFO] [stdout] test translator::z3_verifier::formula_sat_smoke_tests::ensures_literal_true_is_sat ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 22 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.77s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/bin/cargo-spec-lock.rs (/opt/rustwide/target/debug/deps/cargo_spec_lock-0e9d78c8fde8571e)
[INFO] [stdout] 
[INFO] [stdout] running 54 tests
[INFO] [stdout] test cli::coverage::witness_verify_rollup_tests::rollup_none_when_no_anchors_even_if_other_results ... ok
[INFO] [stdout] test cli::coverage::witness_verify_rollup_tests::rollup_partitions_formula_constant_and_unknown_status_buckets_failed ... ok
[INFO] [stdout] test cli::drift::tests::section_prefix_does_not_match_sibling_minor ... ok
[INFO] [stdout] test cli::drift::tests::section_prefix_matches_descendants ... ok
[INFO] [stdout] test cli::formula_dep_graph::tests::canonical_cycle_picks_lexicographic_rotation ... ok
[INFO] [stdout] test cli::output::tests::verify_json_report_includes_report_format_and_tool ... ok
[INFO] [stdout] test cli::output::tests::verify_json_failure_kind_variants_emit_stable_strings ... ok
[INFO] [stdout] test cli::formula_dep_graph::tests::dag_has_no_cycles ... ok
[INFO] [stdout] test cli::formula_dep_graph::tests::detects_simple_two_cycle ... ok
[INFO] [stdout] test cli::output::tests::formula_verify_json_uses_verify_formulas_command_and_static_shape ... ok
[INFO] [stdout] test cli::output::tests::verify_json_partial_reason_variants_emit_stable_strings ... ok
[INFO] [stdout] test cli::output::tests::verify_json_solver_unknown_failed_includes_partial_reason_timeout_heuristic ... ok
[INFO] [stdout] test cli::verify::failure_kind_tests::determinism_z3_unknown_is_solver_unknown_not_counterexample ... ok
[INFO] [stdout] test cli::output::tests::verify_json_report_counts_passed ... ok
[INFO] [stdout] test cli::output::tests::verify_json_rows_include_anchor_kind ... ok
[INFO] [stdout] test cli::verify::failure_kind_tests::determinism_non_deterministic_stays_counterexample ... ok
[INFO] [stdout] test cli::verify::failure_kind_tests::manual_counterexample_stays_failed ... ok
[INFO] [stdout] test cli::drift::tests::formula_parse_gate_rejects_empty_or_pure_noise ... ok
[INFO] [stdout] test cli::spec_enrich::enrich_formula_tests::formula_anchor_enrich_adds_parseable_contract_from_spec ... ok
[INFO] [stdout] test cli::drift::tests::formula_parse_gate_accepts_known_witness_style_body ... ok
[INFO] [stdout] test cli::drift::tests::formula_parse_gate_accepts_cdot_times_unicode_comparison ... ok
[INFO] [stdout] test cli::spec_enrich::enrich_formula_tests::constant_anchor_enrich_adds_ensures_equals_rust_expr ... ok
[INFO] [stdout] test cli::verify::failure_kind_tests::demote_spec_derived_counterexample_to_partial ... ok
[INFO] [stdout] test cli::output::tests::verify_json_report_includes_partial_detail ... ok
[INFO] [stdout] test cli::output::tests::verify_json_report_includes_failure_detail ... ok
[INFO] [stdout] test parser::orange_paper::depends_on_regex_tests::parse_depends_on_ids_accepts_bold_with_inner_backticks ... ok
[INFO] [stdout] test parser::lexer::tests::test_lex_simple ... ok
[INFO] [stdout] test cli::verify::spec_locked_anchor_extract_tests::named_function_param_extracts_formula ... ok
[INFO] [stdout] test cli::verify::spec_locked_anchor_extract_tests::named_function_param_extracts_constant ... ok
[INFO] [stdout] test parser::orange_paper::formula_extraction_tests::section_subsumption_for_formula_locks_matches_verify_enrich ... ok
[INFO] [stdout] test parser::lexer::tests::test_lex_cdot_mathrm_multiplier ... ok
[INFO] [stdout] test cli::verify::spec_locked_anchor_extract_tests::combined_literal_section_and_formula ... ok
[INFO] [stdout] test cli::verify::spec_locked_anchor_extract_tests::combined_literal_section_and_constant ... ok
[INFO] [stdout] test cli::verify::spec_locked_anchor_extract_tests::dual_literal_extracts_formula_and_section ... ok
[INFO] [stdout] test translator::static_checker::tests::test_constant_equality ... ok
[INFO] [stdout] test cli::verify::spec_locked_anchor_extract_tests::dual_literal_extracts_constant_and_section ... ok
[INFO] [stdout] test translator::static_checker::tests::test_non_negative ... ok
[INFO] [stdout] test parser::orange_paper::formula_extraction_tests::duplicate_formula_across_sections_is_error ... ok
[INFO] [stdout] test parser::lexer::tests::test_lex_unary_negative_number ... ok
[INFO] [stdout] test parser::lexer::tests::test_lex_implies ... ok
[INFO] [stdout] test parser::orange_paper::formula_extraction_tests::formula_without_display_math_is_error ... ok
[INFO] [stdout] test translator::z3_verifier::formula_sat_smoke_tests::x_lt_x_is_unsat_contradiction ... ok
[INFO] [stdout] test parser::orange_paper::formula_extraction_tests::merge_reports_duplicate_formula_id ... ok
[INFO] [stdout] test cli::drift::tests::formula_parse_gate_accepts_unicode_logic_ne_minus_implication ... ok
[INFO] [stdout] test parser::orange_paper::formula_extraction_tests::duplicate_formula_in_same_section_is_error ... ok
[INFO] [stdout] test parser::orange_paper::formula_extraction_tests::formula_depends_on_parses_bold_f_or_c_ids ... ok
[INFO] [stdout] test parser::orange_paper::formula_extraction_tests::unresolved_constant_dependencies_lists_missing_c_refs ... ok
[INFO] [stdout] test parser::orange_paper::formula_extraction_tests::unresolved_constant_dependencies_resolved_when_section_4_defines_constant ... ok
[INFO] [stdout] test parser::orange_paper::formula_extraction_tests::formula_heading_not_parsed_as_function_spec ... ok
[INFO] [stdout] test parser::orange_paper::formula_extraction_tests::unresolved_formula_dependencies_lists_missing_f_refs ... ok
[INFO] [stdout] test parser::orange_paper::formula_extraction_tests::v1_formula_block_populates_registry ... ok
[INFO] [stdout] test parser::orange_paper::formula_extraction_tests::spec_lock_formulas_env_zero_skips_formula_registry ... ok
[INFO] [stdout] test translator::z3_verifier::formula_sat_smoke_tests::result_eq_result_is_sat ... ok
[INFO] [stdout] test translator::z3_verifier::formula_sat_smoke_tests::ensures_literal_true_is_sat ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 54 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.87s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/extract_cmds_integration.rs (/opt/rustwide/target/debug/deps/extract_cmds_integration-3729230ddcd01e94)
[INFO] [stdout] 
[INFO] [stdout] running 2 tests
[INFO] [stdout] test extract_formulas_exits_zero_and_emits_subsidy_helper_skeleton ... FAILED
[INFO] [stdout] test extract_property_tests_exits_zero_round_trip_with_bindings ... FAILED
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- extract_formulas_exits_zero_and_emits_subsidy_helper_skeleton stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'extract_formulas_exits_zero_and_emits_subsidy_helper_skeleton' (101) panicked at tests/extract_cmds_integration.rs:47:5:
[INFO] [stdout] extract-formulas expected exit 0.
[INFO] [stdout] stderr:
[INFO] [stdout] Error writing property helpers to /opt/rustwide/workdir/target/extract_cmd_integration_formulas_1.rs: No such file or directory (os error 2)
[INFO] [stdout] 
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x61240581edc8 - std[929523f510218772]::backtrace_rs::backtrace::libunwind::trace
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x61240581edc8 - std[929523f510218772]::backtrace_rs::backtrace::trace_unsynchronized::<std[929523f510218772]::sys::backtrace::_print_fmt::{closure#1}>
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x61240581edc8 - std[929523f510218772]::sys::backtrace::_print_fmt
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/sys/backtrace.rs:74:9
[INFO] [stdout]    3:     0x61240581edc8 - <<std[929523f510218772]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[28b146924c2f19c6]::fmt::Display>::fmt
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/sys/backtrace.rs:44:26
[INFO] [stdout]    4:     0x612405832c6a - <core[28b146924c2f19c6]::fmt::rt::Argument>::fmt
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/core/src/fmt/rt.rs:152:76
[INFO] [stdout]    5:     0x612405832c6a - core[28b146924c2f19c6]::fmt::write
[INFO] [stdout]    6:     0x612405823602 - std[929523f510218772]::io::default_write_fmt::<alloc[95e62e727ddf147d]::vec::Vec<u8>>
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/io/mod.rs:622:11
[INFO] [stdout]    7:     0x612405823602 - <alloc[95e62e727ddf147d]::vec::Vec<u8> as std[929523f510218772]::io::Write>::write_fmt
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/io/mod.rs:1977:13
[INFO] [stdout]    8:     0x6124057fd816 - <std[929523f510218772]::sys::backtrace::BacktraceLock>::print
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/sys/backtrace.rs:47:9
[INFO] [stdout]    9:     0x6124057fd816 - std[929523f510218772]::panicking::default_hook::{closure#0}
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/panicking.rs:292:27
[INFO] [stdout]   10:     0x612405816f29 - std[929523f510218772]::panicking::default_hook
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/panicking.rs:316:9
[INFO] [stdout]   11:     0x6124057b281c - <alloc[95e62e727ddf147d]::boxed::Box<dyn for<'a, 'b> core[28b146924c2f19c6]::ops::function::Fn<(&'a std[929523f510218772]::panic::PanicHookInfo<'b>,), Output = ()> + core[28b146924c2f19c6]::marker::Sync + core[28b146924c2f19c6]::marker::Send> as core[28b146924c2f19c6]::ops::function::Fn<(&std[929523f510218772]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/alloc/src/boxed.rs:2291:9
[INFO] [stdout]   12:     0x6124057b281c - test[6ec0502068880816]::test_main_inner::<test[6ec0502068880816]::test_main_static::{closure#0}>::{closure#0}
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/test/src/lib.rs:155:21
[INFO] [stdout]   13:     0x6124058170e2 - <alloc[95e62e727ddf147d]::boxed::Box<dyn for<'a, 'b> core[28b146924c2f19c6]::ops::function::Fn<(&'a std[929523f510218772]::panic::PanicHookInfo<'b>,), Output = ()> + core[28b146924c2f19c6]::marker::Sync + core[28b146924c2f19c6]::marker::Send> as core[28b146924c2f19c6]::ops::function::Fn<(&std[929523f510218772]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/alloc/src/boxed.rs:2291:9
[INFO] [stdout]   14:     0x6124058170e2 - std[929523f510218772]::panicking::panic_with_hook
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/panicking.rs:833:13
[INFO] [stdout]   15:     0x6124057fd8d2 - std[929523f510218772]::panicking::panic_handler::{closure#0}
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/panicking.rs:698:13
[INFO] [stdout]   16:     0x6124057f28d9 - std[929523f510218772]::sys::backtrace::__rust_end_short_backtrace::<std[929523f510218772]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/sys/backtrace.rs:182:18
[INFO] [stdout]   17:     0x6124057fe5ed - __rustc[acf6043c977865fb]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/panicking.rs:689:5
[INFO] [stdout]   18:     0x61240583335c - core[28b146924c2f19c6]::panicking::panic_fmt
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x61240579f88c - extract_cmds_integration[b857988b8cb9d7e1]::extract_formulas_exits_zero_and_emits_subsidy_helper_skeleton
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/extract_cmds_integration.rs:47:5
[INFO] [stdout]   20:     0x61240579d8f7 - extract_cmds_integration[b857988b8cb9d7e1]::extract_formulas_exits_zero_and_emits_subsidy_helper_skeleton::{closure#0}
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/extract_cmds_integration.rs:20:67
[INFO] [stdout]   21:     0x6124057a5466 - <extract_cmds_integration[b857988b8cb9d7e1]::extract_formulas_exits_zero_and_emits_subsidy_helper_skeleton::{closure#0} as core[28b146924c2f19c6]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   22:     0x6124057a58fb - <fn() -> core[28b146924c2f19c6]::result::Result<(), alloc[95e62e727ddf147d]::string::String> as core[28b146924c2f19c6]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   23:     0x6124057a58fb - test[6ec0502068880816]::__rust_begin_short_backtrace::<core[28b146924c2f19c6]::result::Result<(), alloc[95e62e727ddf147d]::string::String>, fn() -> core[28b146924c2f19c6]::result::Result<(), alloc[95e62e727ddf147d]::string::String>>
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/test/src/lib.rs:724:18
[INFO] [stdout]   24:     0x6124057b3175 - test[6ec0502068880816]::run_test_in_process::{closure#0}
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/test/src/lib.rs:747:74
[INFO] [stdout]   25:     0x6124057b3175 - <core[28b146924c2f19c6]::panic::unwind_safe::AssertUnwindSafe<test[6ec0502068880816]::run_test_in_process::{closure#0}> as core[28b146924c2f19c6]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/core/src/panic/unwind_safe.rs:275:9
[INFO] [stdout]   26:     0x6124057b3175 - std[929523f510218772]::panicking::catch_unwind::do_call::<core[28b146924c2f19c6]::panic::unwind_safe::AssertUnwindSafe<test[6ec0502068880816]::run_test_in_process::{closure#0}>, core[28b146924c2f19c6]::result::Result<(), alloc[95e62e727ddf147d]::string::String>>
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/panicking.rs:581:40
[INFO] [stdout]   27:     0x6124057b3175 - std[929523f510218772]::panicking::catch_unwind::<core[28b146924c2f19c6]::result::Result<(), alloc[95e62e727ddf147d]::string::String>, core[28b146924c2f19c6]::panic::unwind_safe::AssertUnwindSafe<test[6ec0502068880816]::run_test_in_process::{closure#0}>>
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/panicking.rs:544:19
[INFO] [stdout]   28:     0x6124057b3175 - std[929523f510218772]::panic::catch_unwind::<core[28b146924c2f19c6]::panic::unwind_safe::AssertUnwindSafe<test[6ec0502068880816]::run_test_in_process::{closure#0}>, core[28b146924c2f19c6]::result::Result<(), alloc[95e62e727ddf147d]::string::String>>
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/panic.rs:359:14
[INFO] [stdout]   29:     0x6124057b3175 - test[6ec0502068880816]::run_test_in_process
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/test/src/lib.rs:747:27
[INFO] [stdout]   30:     0x6124057b3175 - test[6ec0502068880816]::run_test::{closure#0}
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/test/src/lib.rs:668:43
[INFO] [stdout]   31:     0x6124057adcd4 - test[6ec0502068880816]::run_test::{closure#1}
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/test/src/lib.rs:698:41
[INFO] [stdout]   32:     0x6124057adcd4 - std[929523f510218772]::sys::backtrace::__rust_begin_short_backtrace::<test[6ec0502068880816]::run_test::{closure#1}, ()>
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/sys/backtrace.rs:166:18
[INFO] [stdout]   33:     0x6124057b61f2 - std[929523f510218772]::thread::lifecycle::spawn_unchecked::<test[6ec0502068880816]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/thread/lifecycle.rs:70:13
[INFO] [stdout]   34:     0x6124057b61f2 - <core[28b146924c2f19c6]::panic::unwind_safe::AssertUnwindSafe<std[929523f510218772]::thread::lifecycle::spawn_unchecked<test[6ec0502068880816]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}> as core[28b146924c2f19c6]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/core/src/panic/unwind_safe.rs:275:9
[INFO] [stdout]   35:     0x6124057b61f2 - std[929523f510218772]::panicking::catch_unwind::do_call::<core[28b146924c2f19c6]::panic::unwind_safe::AssertUnwindSafe<std[929523f510218772]::thread::lifecycle::spawn_unchecked<test[6ec0502068880816]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/panicking.rs:581:40
[INFO] [stdout]   36:     0x6124057b61f2 - std[929523f510218772]::panicking::catch_unwind::<(), core[28b146924c2f19c6]::panic::unwind_safe::AssertUnwindSafe<std[929523f510218772]::thread::lifecycle::spawn_unchecked<test[6ec0502068880816]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>>
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/panicking.rs:544:19
[INFO] [stdout]   37:     0x6124057b61f2 - std[929523f510218772]::panic::catch_unwind::<core[28b146924c2f19c6]::panic::unwind_safe::AssertUnwindSafe<std[929523f510218772]::thread::lifecycle::spawn_unchecked<test[6ec0502068880816]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/panic.rs:359:14
[INFO] [stdout]   38:     0x6124057b61f2 - std[929523f510218772]::thread::lifecycle::spawn_unchecked::<test[6ec0502068880816]::run_test::{closure#1}, ()>::{closure#1}
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/thread/lifecycle.rs:68:26
[INFO] [stdout]   39:     0x6124057b61f2 - <std[929523f510218772]::thread::lifecycle::spawn_unchecked<test[6ec0502068880816]::run_test::{closure#1}, ()>::{closure#1} as core[28b146924c2f19c6]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   40:     0x61240581e3ef - <alloc[95e62e727ddf147d]::boxed::Box<dyn core[28b146924c2f19c6]::ops::function::FnOnce<(), Output = ()> + core[28b146924c2f19c6]::marker::Send> as core[28b146924c2f19c6]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/alloc/src/boxed.rs:2277:9
[INFO] [stdout]   41:     0x61240581e3ef - <std[929523f510218772]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/sys/thread/unix.rs:118:17
[INFO] [stdout]   42:     0x7bb4e9500aa4 - <unknown>
[INFO] [stdout]   43:     0x7bb4e958da64 - clone
[INFO] [stdout]   44:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- extract_property_tests_exits_zero_round_trip_with_bindings stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'extract_property_tests_exits_zero_round_trip_with_bindings' (102) panicked at tests/extract_cmds_integration.rs:110:5:
[INFO] [stdout] extract-property-tests expected exit 0.
[INFO] [stdout] stderr:
[INFO] [stdout] Error writing property tests to /opt/rustwide/workdir/target/extract_cmd_integration_property_tests_0.rs: No such file or directory (os error 2)
[INFO] [stdout] 
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x61240581edc8 - std[929523f510218772]::backtrace_rs::backtrace::libunwind::trace
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x61240581edc8 - std[929523f510218772]::backtrace_rs::backtrace::trace_unsynchronized::<std[929523f510218772]::sys::backtrace::_print_fmt::{closure#1}>
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x61240581edc8 - std[929523f510218772]::sys::backtrace::_print_fmt
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/sys/backtrace.rs:74:9
[INFO] [stdout]    3:     0x61240581edc8 - <<std[929523f510218772]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[28b146924c2f19c6]::fmt::Display>::fmt
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/sys/backtrace.rs:44:26
[INFO] [stdout]    4:     0x612405832c6a - <core[28b146924c2f19c6]::fmt::rt::Argument>::fmt
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/core/src/fmt/rt.rs:152:76
[INFO] [stdout]    5:     0x612405832c6a - core[28b146924c2f19c6]::fmt::write
[INFO] [stdout]    6:     0x612405823602 - std[929523f510218772]::io::default_write_fmt::<alloc[95e62e727ddf147d]::vec::Vec<u8>>
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/io/mod.rs:622:11
[INFO] [stdout]    7:     0x612405823602 - <alloc[95e62e727ddf147d]::vec::Vec<u8> as std[929523f510218772]::io::Write>::write_fmt
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/io/mod.rs:1977:13
[INFO] [stdout]    8:     0x6124057fd816 - <std[929523f510218772]::sys::backtrace::BacktraceLock>::print
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/sys/backtrace.rs:47:9
[INFO] [stdout]    9:     0x6124057fd816 - std[929523f510218772]::panicking::default_hook::{closure#0}
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/panicking.rs:292:27
[INFO] [stdout]   10:     0x612405816f29 - std[929523f510218772]::panicking::default_hook
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/panicking.rs:316:9
[INFO] [stdout]   11:     0x6124057b281c - <alloc[95e62e727ddf147d]::boxed::Box<dyn for<'a, 'b> core[28b146924c2f19c6]::ops::function::Fn<(&'a std[929523f510218772]::panic::PanicHookInfo<'b>,), Output = ()> + core[28b146924c2f19c6]::marker::Sync + core[28b146924c2f19c6]::marker::Send> as core[28b146924c2f19c6]::ops::function::Fn<(&std[929523f510218772]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/alloc/src/boxed.rs:2291:9
[INFO] [stdout]   12:     0x6124057b281c - test[6ec0502068880816]::test_main_inner::<test[6ec0502068880816]::test_main_static::{closure#0}>::{closure#0}
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/test/src/lib.rs:155:21
[INFO] [stdout]   13:     0x6124058170e2 - <alloc[95e62e727ddf147d]::boxed::Box<dyn for<'a, 'b> core[28b146924c2f19c6]::ops::function::Fn<(&'a std[929523f510218772]::panic::PanicHookInfo<'b>,), Output = ()> + core[28b146924c2f19c6]::marker::Sync + core[28b146924c2f19c6]::marker::Send> as core[28b146924c2f19c6]::ops::function::Fn<(&std[929523f510218772]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/alloc/src/boxed.rs:2291:9
[INFO] [stdout]   14:     0x6124058170e2 - std[929523f510218772]::panicking::panic_with_hook
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/panicking.rs:833:13
[INFO] [stdout]   15:     0x6124057fd8d2 - std[929523f510218772]::panicking::panic_handler::{closure#0}
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/panicking.rs:698:13
[INFO] [stdout]   16:     0x6124057f28d9 - std[929523f510218772]::sys::backtrace::__rust_end_short_backtrace::<std[929523f510218772]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/sys/backtrace.rs:182:18
[INFO] [stdout]   17:     0x6124057fe5ed - __rustc[acf6043c977865fb]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/panicking.rs:689:5
[INFO] [stdout]   18:     0x61240583335c - core[28b146924c2f19c6]::panicking::panic_fmt
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x61240579ee33 - extract_cmds_integration[b857988b8cb9d7e1]::extract_property_tests_exits_zero_round_trip_with_bindings
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/extract_cmds_integration.rs:110:5
[INFO] [stdout]   20:     0x61240579d8c7 - extract_cmds_integration[b857988b8cb9d7e1]::extract_property_tests_exits_zero_round_trip_with_bindings::{closure#0}
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/extract_cmds_integration.rs:75:64
[INFO] [stdout]   21:     0x6124057a5426 - <extract_cmds_integration[b857988b8cb9d7e1]::extract_property_tests_exits_zero_round_trip_with_bindings::{closure#0} as core[28b146924c2f19c6]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   22:     0x6124057a58fb - <fn() -> core[28b146924c2f19c6]::result::Result<(), alloc[95e62e727ddf147d]::string::String> as core[28b146924c2f19c6]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   23:     0x6124057a58fb - test[6ec0502068880816]::__rust_begin_short_backtrace::<core[28b146924c2f19c6]::result::Result<(), alloc[95e62e727ddf147d]::string::String>, fn() -> core[28b146924c2f19c6]::result::Result<(), alloc[95e62e727ddf147d]::string::String>>
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/test/src/lib.rs:724:18
[INFO] [stdout]   24:     0x6124057b3175 - test[6ec0502068880816]::run_test_in_process::{closure#0}
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/test/src/lib.rs:747:74
[INFO] [stdout]   25:     0x6124057b3175 - <core[28b146924c2f19c6]::panic::unwind_safe::AssertUnwindSafe<test[6ec0502068880816]::run_test_in_process::{closure#0}> as core[28b146924c2f19c6]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/core/src/panic/unwind_safe.rs:275:9
[INFO] [stdout]   26:     0x6124057b3175 - std[929523f510218772]::panicking::catch_unwind::do_call::<core[28b146924c2f19c6]::panic::unwind_safe::AssertUnwindSafe<test[6ec0502068880816]::run_test_in_process::{closure#0}>, core[28b146924c2f19c6]::result::Result<(), alloc[95e62e727ddf147d]::string::String>>
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/panicking.rs:581:40
[INFO] [stdout]   27:     0x6124057b3175 - std[929523f510218772]::panicking::catch_unwind::<core[28b146924c2f19c6]::result::Result<(), alloc[95e62e727ddf147d]::string::String>, core[28b146924c2f19c6]::panic::unwind_safe::AssertUnwindSafe<test[6ec0502068880816]::run_test_in_process::{closure#0}>>
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/panicking.rs:544:19
[INFO] [stdout]   28:     0x6124057b3175 - std[929523f510218772]::panic::catch_unwind::<core[28b146924c2f19c6]::panic::unwind_safe::AssertUnwindSafe<test[6ec0502068880816]::run_test_in_process::{closure#0}>, core[28b146924c2f19c6]::result::Result<(), alloc[95e62e727ddf147d]::string::String>>
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/panic.rs:359:14
[INFO] [stdout]   29:     0x6124057b3175 - test[6ec0502068880816]::run_test_in_process
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/test/src/lib.rs:747:27
[INFO] [stdout]   30:     0x6124057b3175 - test[6ec0502068880816]::run_test::{closure#0}
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/test/src/lib.rs:668:43
[INFO] [stdout]   31:     0x6124057adcd4 - test[6ec0502068880816]::run_test::{closure#1}
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/test/src/lib.rs:698:41
[INFO] [stdout]   32:     0x6124057adcd4 - std[929523f510218772]::sys::backtrace::__rust_begin_short_backtrace::<test[6ec0502068880816]::run_test::{closure#1}, ()>
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/sys/backtrace.rs:166:18
[INFO] [stdout]   33:     0x6124057b61f2 - std[929523f510218772]::thread::lifecycle::spawn_unchecked::<test[6ec0502068880816]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/thread/lifecycle.rs:70:13
[INFO] [stdout]   34:     0x6124057b61f2 - <core[28b146924c2f19c6]::panic::unwind_safe::AssertUnwindSafe<std[929523f510218772]::thread::lifecycle::spawn_unchecked<test[6ec0502068880816]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}> as core[28b146924c2f19c6]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/core/src/panic/unwind_safe.rs:275:9
[INFO] [stdout]   35:     0x6124057b61f2 - std[929523f510218772]::panicking::catch_unwind::do_call::<core[28b146924c2f19c6]::panic::unwind_safe::AssertUnwindSafe<std[929523f510218772]::thread::lifecycle::spawn_unchecked<test[6ec0502068880816]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/panicking.rs:581:40
[INFO] [stdout]   36:     0x6124057b61f2 - std[929523f510218772]::panicking::catch_unwind::<(), core[28b146924c2f19c6]::panic::unwind_safe::AssertUnwindSafe<std[929523f510218772]::thread::lifecycle::spawn_unchecked<test[6ec0502068880816]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>>
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/panicking.rs:544:19
[INFO] [stdout]   37:     0x6124057b61f2 - std[929523f510218772]::panic::catch_unwind::<core[28b146924c2f19c6]::panic::unwind_safe::AssertUnwindSafe<std[929523f510218772]::thread::lifecycle::spawn_unchecked<test[6ec0502068880816]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/panic.rs:359:14
[INFO] [stdout]   38:     0x6124057b61f2 - std[929523f510218772]::thread::lifecycle::spawn_unchecked::<test[6ec0502068880816]::run_test::{closure#1}, ()>::{closure#1}
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/thread/lifecycle.rs:68:26
[INFO] [stdout]   39:     0x6124057b61f2 - <std[929523f510218772]::thread::lifecycle::spawn_unchecked<test[6ec0502068880816]::run_test::{closure#1}, ()>::{closure#1} as core[28b146924c2f19c6]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   40:     0x61240581e3ef - <alloc[95e62e727ddf147d]::boxed::Box<dyn core[28b146924c2f19c6]::ops::function::FnOnce<(), Output = ()> + core[28b146924c2f19c6]::marker::Send> as core[28b146924c2f19c6]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/alloc/src/boxed.rs:2277:9
[INFO] [stdout]   41:     0x61240581e3ef - <std[929523f510218772]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]                                at /rustc/cced03bfd61a304243a34504618ecec86c17063f/library/std/src/sys/thread/unix.rs:118:17
[INFO] [stdout]   42:     0x7bb4e9500aa4 - <unknown>
[INFO] [stdout]   43:     0x7bb4e958da64 - clone
[INFO] [stdout]   44:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout]     extract_formulas_exits_zero_and_emits_subsidy_helper_skeleton
[INFO] [stdout]     extract_property_tests_exits_zero_round_trip_with_bindings
[INFO] [stdout] 
[INFO] [stdout] test result: FAILED. 0 passed; 2 failed; 0 ignored; 0 measured; 0 filtered out; finished in 7.36s
[INFO] [stdout] 
[INFO] [stderr] error: test failed, to rerun pass `--test extract_cmds_integration`
[INFO] running `Command { std: "docker" "inspect" "5d20cdabd916559bcb9628d6352d315fb722e7fb62dd71cd8fb447a1b95408fa", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "5d20cdabd916559bcb9628d6352d315fb722e7fb62dd71cd8fb447a1b95408fa", kill_on_drop: false }`
[INFO] [stdout] 5d20cdabd916559bcb9628d6352d315fb722e7fb62dd71cd8fb447a1b95408fa
